[Agda] Passing numerics to haskell

Pavel Perikov perikov at gmail.com
Tue Feb 8 22:41:23 CET 2011


What is a tentative way to pass numerical values to haskell during compilation? Does any of the built in types map directly to haskell types? (Natural, Integer, Float)?

pavel


More information about the Agda mailing list