菜单

每月的档案:2019年5月

λ演算解释器
中文版本 注意:这是之前帖子的重要重构。当我意识到首先我必须对这个初始帖子进行一些改进以获得更好的结构时,我正 […]
A λ-calculus interpreter
lambda语言编译器原理 English Version Note: this is a big refac […]
怎么把本地项目和远程git仓库相连通
引用于https://www.cnblogs.com/olive27/p/5981924.html 1. 打开 […]
Git 提示fatal: remote origin already exists 错误解决办法
今天使用git 添加远程github仓库的时候提示错误:fatal: remote origin alread […]
密码保护:English Essay in my class
无法提供摘要。这是一篇受保护的文章。
Easiest Command Line for Arch Linux(manjaro)
Arch Linux(manjaro)必备命令(转载文章) 1、添加新账户 useradd username新 […]
Edit the config of npm(mirrors in China mainland)
在中国大陆配置反应速度较快的npm镜像源 1、npm config edit 2、使用vim命令行打开.npm […]
Install latest wine in Ubuntu 16.04.1 LTS
Ubuntu16.04安装以及卸载最新版本的wine 1、安装源    &nbs […]
Command Line in Ubuntu 16.04.1 LTS
命令行下的文件创建删除和目录查看 1.创建文件:touch a.txt  2.创建文件夹:mkdir […]
Install The Latest NodeJS+npm in Ubuntu 16.04.1 LTS
ubuntu安装最新版node和npm 1、先在系统上安装好nodejs和npm sudo &nbs […]