おぺの日記

まえがき こんにちはこんにちは。 KMC3回生のおぺ(id:opesan)です。 これはKMC Advent Calender 2018、5日目の記事です。 adventar.org 12月も5日目ってマジかよ……。 昨日の記事はutgwkk(id:utgwkk)さんの カインドを用いたレコード多相 (record polymorphism) の計算体系とその実装 - 私が歌川です でした。 すごそう(小…