Open source projects by liamoc

liamoc/learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

☕Agda   ★287 stars   ⚠6 open issues   ⚭3 contributors   ☯about 9 years old