{"name":"gist: 856444","desc":"≤ is reflexitive on Agda2","actor":"IKEGAMIDaisuke","url":"https://gist.github.com/856444","snippet":"module FooBarNat where\n\n-- cheat on the exam; look the Agda standard library","actor_gravatar":"9f5fd189741bc6bce84117020e6e14db","action":"create"}