We were one of the sponsors for FLOLAC 2022, supporting the functional programming and formal methods community.

See the event website for more: https://flolac.iis.sinica.edu.tw/
August 1, 2022
We were one of the sponsors for FLOLAC 2022, supporting the functional programming and formal methods community.

See the event website for more: https://flolac.iis.sinica.edu.tw/