[Agda] Does anyone know how to developer/github agda icu-compliant, on macosx; with macports, A(s-opposed)OP brewdog

Peter Hancock hancock at fastmail.fm
Thu Mar 16 20:44:00 CET 2023

Previous message (by thread): [Agda] Utrecht Summer School on Advanced Functional Programming 2023
Next message (by thread): [Agda] Postdoctor in Type theory for mathematics and computer science
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

?

Hank

Previous message (by thread): [Agda] Utrecht Summer School on Advanced Functional Programming 2023
Next message (by thread): [Agda] Postdoctor in Type theory for mathematics and computer science
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list