欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hex
来自开放百科 - 灰狐
Hex: Package manager for the Erlang ecosystem
目录 |
简介
指南
git clone https://github.com/hexpm/hexpm mix deps.get mix ecto.migrate // 在之前配置PostgreSQL数据库 mix run priv/repo/seeds.exs mix ecto.setup cd assets/ npm install iex -S mix phx.server 或 mix phx.server http://localhost:4000/
项目
图集
链接
分享您的观点