Skip to content
Web Zurich
  • Events
  • Workshops
  • Talks
  • Speakers
  • CoC
Pierre Spring

Pierre Spring

Nominal Type Systems

Fish – Friendly Interactive SHell – a smart and user-friendly command line shell that works on Linux, MacOS, and other operating systems.