Conversation

Notices

1. バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Sunday, 28-Nov-2021 06:01:17 JST バツ子（痛いの痛いの飛んでけ;;
   does anyone use coq ever? and is there a pretty alt to coqtop, like utop-ish, or at least with completions?
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Sunday, 28-Nov-2021 06:12:00 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to

     • shp :blobshp:
     @shpuld coq like the tintin checker
   • shp :blobshp: (shpuld@shpposter.club)'s status on Sunday, 28-Nov-2021 06:12:01 JST shp :blobshp:

     in reply to
     @shmibs coq like tintin?
   • mr. oh no (libc@snack.social)'s status on Tuesday, 30-Nov-2021 00:35:32 JST mr. oh no

     in reply to
     @shmibs my buddy says (from a while back and paraphrased) "bad implementation of a good idea, like most stuff from inria"
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Tuesday, 30-Nov-2021 00:35:32 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to

     • mr. oh no
     @libc well ok, but i just wanna make it pretty and nice like ocaml's stuff, just for trying...