Skip to content

define_primrec, moved old typeclass #263

define_primrec, moved old typeclass

define_primrec, moved old typeclass #263

Job Run time
1m 43s
1m 43s